1. Carnap, Rudolph
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Physics - Philosophy,Semantics (Philosophy),Logic, Symbolic and Mathematical
2. Collected works
پدیدآورنده : Penrose, Roger
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical physics,، Logic, Symbolic and mathematical,، Physics - Philosophy
رده :
QC
19
.
3
.
P46
2011
3. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
4. Roger Pensors Collected Works
پدیدآورنده : Penrose, Roger, 1391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical physics,، Logic, Symbolic and mathematical,Philosophy ، Physics
رده :
QC
19
.
3
.
P46R6